cylindric algebra造句

例句与造句

1. Maddux is primarily known for his work in relation algebras and cylindric algebras, and as the inventor of relational bases.
2. Stronger logics, such as first-order logic and higher-order logic, are studied using more complicated algebraic structures such as cylindric algebras.
3. In the late 1940s, Tarski and his students devised cylindric algebras, which are to first-order logic what the two-element Boolean algebra is to classical sentential logic.
4. Cylindric algebras have been generalized to the case of many-sorted logic ( Caleiro and Gon鏰lves 2006 ), which allows for a better modeling of the duality between first-order formulas and terms.
5. It's difficult to find cylindric algebra in a sentence. 用cylindric algebra造句挺难的